[
  {
    "description": "solidity: uint a+b -> c",
    "source": [
      "PUSH1",
      "0x60",
      "PUSH1",
      "0x40",
      "MSTORE",
      "PUSH1",
      "0x00",
      "CALLDATALOAD",
      "PUSH29",
      "0x0100000000000000000000000000000000000000000000000000000000",
      "SWAP1",
      "DIV",
      "DUP1",
      "PUSH4",
      "0x771602F7",
      "EQ",
      "PUSH1",
      "0x37",
      "JUMPI",
      "PUSH1",
      "0x35",
      "JUMP",
      "JUMPDEST",
      "STOP",
      "JUMPDEST",
      "PUSH1",
      "0x54",
      "PUSH1",
      "0x04",
      "DUP1",
      "DUP1",
      "CALLDATALOAD",
      "SWAP1",
      "PUSH1",
      "0x20",
      "ADD",
      "SWAP1",
      "SWAP2",
      "SWAP1",
      "DUP1",
      "CALLDATALOAD",
      "SWAP1",
      "PUSH1",
      "0x20",
      "ADD",
      "SWAP1",
      "SWAP2",
      "SWAP1",
      "POP",
      "POP",
      "PUSH1",
      "0x6A",
      "JUMP",
      "JUMPDEST",
      "PUSH1",
      "0x40",
      "MLOAD",
      "DUP1",
      "DUP3",
      "DUP2",
      "MSTORE",
      "PUSH1",
      "0x20",
      "ADD",
      "SWAP2",
      "POP",
      "POP",
      "PUSH1",
      "0x40",
      "MLOAD",
      "DUP1",
      "SWAP2",
      "SUB",
      "SWAP1",
      "RETURN",
      "JUMPDEST",
      "PUSH1",
      "0x00",
      "DUP2",
      "DUP4",
      "ADD",
      "SWAP1",
      "POP",
      "DUP1",
      "POP",
      "JUMPDEST",
      "SWAP3",
      "SWAP2",
      "POP",
      "POP",
      "JUMP"
    ],
    "code": "0x60606040526000357c010000000000000000000000000000000000000000000000000000000090048063771602F7146037576035565b005b60546004808035906020019091908035906020019091905050606A565b6040518082815260200191505060405180910390f35b6000818301905080505b9291505056",
    "result": {
      "stack": [],
      "memory": [],
      "return": "0x0000000000000000000000000000000000000000000000000000000000000066"
    },
    "environment": {
      "coinbase": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000"
    },
    "gasUsed": 225,
    "message": {
      "data": "0x771602f7000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000420000000000000000000000000000000000000000000000000000000000000024",
      "from": "0x0000000000000000000000000000000000000000"
    }
  }
]
